A¹ homotopy theory - PDFSEARCH.IO - Document Search Engine

A¹ homotopy theory
Results: 280

#	Item
221	On the Diffeomorphism Group of S1 × S2 Allen Hatcher This is a revision, written in December 2003, of a paper of the same title that appeared in the Proceedings of the AMS[removed]), [removed]. Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 2009-06-01 09:18:44 Geometric topology Maps of manifolds Differential topology Algebraic topology Homotopy Diffeomorphism Connected sum Isotopy CW complex Topology Abstract algebra Homotopy theory
222	A PRIMER ON SPECTRAL SEQUENCES Contents 1. Definitions 2. Exact Couples 3. Filtered Complexes Add to Reading List Source URL: www.math.uchicago.edu Language: English - Date: 2009-06-01 11:51:40 Algebra Spectral sequences Homological algebra Homotopy theory Group theory Serre spectral sequence Sheaf Bockstein spectral sequence Exact sequence Abstract algebra Topology Algebraic topology
223	Natural models of homotopy type theory Steve Awodey 1 June 2014 Abstract The notion of a natural model of type theory is defined in terms of that Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Mathematics Homotopy theory Differential topology Sheaf Functor Grothendieck topology Section Adjoint functors Initial and terminal objects Topology Abstract algebra Algebraic topology
224	K-THEORY OF A WALDHAUSEN CATEGORY AS A SYMMETRIC SPECTRUM MITYA BOYARCHENKO Abstract. If C is a Waldhausen category (i.e., a “category with cofibrations and weak equivalences”), it is known that one can define its K- Add to Reading List Source URL: www.math.uchicago.edu Language: English - Date: 2007-11-04 13:29:42 Mathematics Topology Waldhausen category Cofibration Algebraic K-theory Weak equivalence Simplicial set Q Nerve Abstract algebra Homotopy theory Category theory
225	Structuralism, Invariance, and Univalence∗ Steve Awodey March 4, 2014 Abstract The recent discovery of an interpretation of constructive type theory into abstract homotopy theory suggests a new approach to the Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Homotopy theory Morphisms Category theory Algebraic structures Adjoint functors Isomorphism Groupoid Equivalence of categories Equality Abstract algebra Mathematics Algebra
226	What n-Categories Should Be Like John C. Baez A %% Add to Reading List Source URL: www.ima.umn.edu Language: English - Date: 2004-06-11 10:36:24 Abstract algebra Homotopy theory Higher category theory Algebraic structures PRO Groupoid Braided monoidal category Functor Category Category theory Algebra Monoidal categories
227	Voevodsky’s Univalence Axiom in homotopy type theory ´ Steve Awodey, Alvaro Pelayo and Michael A. Warren Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Abstract algebra Homotopy type theory Homotopy group Homotopy Model category Vladimir Voevodsky Mathematical logic Type theory Out Homotopy theory Topology Mathematics
228	arXiv:0906.4521v1 [math.LO] 24 Jun 2009 ¨ COMPLEXES MARTIN-LOF S. AWODEY, P. HOFSTRA, AND M. A. WARREN Dedicated to Per Martin-L¨ Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Homotopy theory Category theory Algebraic topology Higher category theory Algebraic structures Groupoid Homotopy Fundamental group Equivalence relation Abstract algebra Mathematics Topology
229	Locations∗ John Hawthorne and Theodore Sider Philosophical Topics[removed]): 53–76. Think of “locations” very abstractly, as positions in a space, any space. Add to Reading List Source URL: tedsider.org Language: English - Date: 2009-06-06 15:12:05 Algebraic topology Abstract algebra Metaphysics Fiber bundles Homotopy theory Problem of universals Universal Bundle theory Connection Topology Ontology Differential topology
230	RIGIDITY THEOREMS IN STABLE HOMOTOPY THEORY CASE FOR SUPPORT 1. Track Records Andrew Baker was awarded a Ph.D. from the University of Manchester in[removed]He spent 11 years in a succession of postdoctoral positions in Can Add to Reading List Source URL: sarah-whitehouse.staff.shef.ac.uk Language: English - Date: 2006-10-20 07:01:03 Algebraic topology Morava K-theory Spectrum Cohomology Homotopy group Homotopy category Model category Adams spectral sequence Stable homotopy theory Topology Abstract algebra Homotopy theory

UPDATE